Books by author Rob Nederpelt

Showing 1 – 3 out of 3 results

1. 
   Trending

   Type Theory and Formal Proof

   Rob Nederpelt, Herman Geuvers | Cambridge University Press, 2014

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Hardback

   95.26 €

   Buy
2. 

   A Modern Perspective on Type Theory

   F. D. Kamareddine, T. Laan, Rob Nederpelt | Springer Netherlands, 2010

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Paperback

   138.83 €

   Buy
3. 

   A Modern Perspective on Type Theory

   Fairouz D. Kamareddine, Twan Laan, Rob Nederpelt | Springer Netherlands, 2004

   
   

   Low in stock at our supplier - Shipping in 11 - 15 days

   Language: English

   Binding: Hardback

   197.31 €

   Buy

Estimated delivery date you can see on the book page. Find out more